Nuprl Definition : es-causl
11,40
postcript
pdf
es-causl(
es
;
e
;
e'
) ==
e
<
e'
latex
clarification:
es-causl(
es
;
e
;
e'
) == cless(es-E(
es
);es-pred?(
es
);es_info(
es
);
e
;
e'
)
latex
Definitions
e
<
e'
,
es-E(
es
)
,
es-pred?(
es
)
,
es_info(
es
)
FDL editor aliases
es-causl
origin